161. Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
المؤلف: Maurizio Gabbrielli, Gopal Gupta )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3668
162. Logic programming: 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings
المؤلف: Maurizio Gabbrielli, Gopal Gupta )eds.(
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Congresses ، Logic programming,Congrغs ، Programmation logique,، Logisch programmeren,، Programmation logique
رده :
QA
76
.
63
.
I563
2005
163. Logic programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 : proceedings
المؤلف: Peter J. Stuckey )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2401
164. Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
المؤلف: Catuscia Palamidessi )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2916
165. Logic programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003: proceedings
المؤلف: Catuscia palamidessi, ]ed.[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
63
.
I55
2003
166. Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
المؤلف: Philippe Codognet )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2237
167. Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
المؤلف: Bart Demoen, Vladimir Lifschitz )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3132
168. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
المؤلف: J. Van Eijck )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
169. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
المؤلف: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
170. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
المؤلف: Nonmonotonic and inductive logic:second international workshop reinhards brom castle,Germany,December 1991 proceedings
المکتبة: (کرمان)
موضوع: Logic programming-congresses,Artificial intelligence-congresses
رده :
QA
76
.
6
.
N671
1993
171. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992: proceedings
المؤلف: A. Pettorossi, ed
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
649
172. Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
I567
1992
173. Natural language understanding and logic programming, II
المؤلف: / edited by Veronica Dahl and Patrick Saint-Dizier
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
رده :
QA76
.
7
.
I578
1987
174. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
المؤلف: edited by Veronica Dahl and Patrick Saint-Dizier
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
175. Natural language understanding and logic programming , III
المؤلف: / edited by Charles Grant Brown, Gregers Koch
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic programming -- Congresses,Natural language processing(Computer science) -- Congresses
رده :
QA
76
.
63
.
I58
1991
176. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
المؤلف: edited by Charles Grant Brown, Gregers Koch
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
177. Nonmonotonic and inductive logic : Second International Workshop Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
المؤلف: G. Brewka, K.P. Jantke, P.H. Schmitt )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
659
178. Nonmonotonic and inductive logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990: proceedings
المؤلف: J. Dix, K.P. Jantke, P.H. Schmitt )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
543
179. Parallel execution of logic programs : ICLP'91 Pre- Conference workshop, Paris, June 24, 1991 : proceedings
المؤلف: A. Beaumont, G. Gupta )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
569
180. Principles and Practice of Constraint Programming
المؤلف: \ Gilles Pesant (ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
